logical expression

См. также в других словарях:

• logical expression — loginis reiškinys statusas T sritis automatika atitikmenys: angl. Boolean expression; logical expression vok. logischer Ausdruck, m rus. логическое выражение, n pranc. expression booléenne, f; expression logique, f …   Automatikos terminų žodynas

• logical expression — loginis reiškinys statusas T sritis informatika apibrėžtis ↑Reiškinys, sudarytas iš ↑loginių kintamųjų, ↑loginių reikšmių ir ↑loginių operacijų (↑inversijos, ↑konjunkcijos, ↑disjunkcijos ir kt.), taip pat paprastųjų skliaustų. Paprastai… …   Enciklopedinis kompiuterijos žodynas

• expression booléenne — loginis reiškinys statusas T sritis automatika atitikmenys: angl. Boolean expression; logical expression vok. logischer Ausdruck, m rus. логическое выражение, n pranc. expression booléenne, f; expression logique, f …   Automatikos terminų žodynas

• expression logique — loginis reiškinys statusas T sritis automatika atitikmenys: angl. Boolean expression; logical expression vok. logischer Ausdruck, m rus. логическое выражение, n pranc. expression booléenne, f; expression logique, f …   Automatikos terminų žodynas

• Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… …   Wikipedia

• Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… …   Wikipedia

• Logical atomism — is a philosophical belief that originated in the early 20th century with the development of analytic philosophy. Its principal exponents were the British philosopher Bertrand Russell, the early work of his Austrian born pupil and colleague Ludwig …   Wikipedia

• Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   Wikipedia

• Logical equality — For the corresponding concept in combinational logic, see XNOR gate. XNOR Logic Gate Symbol Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It… …   Wikipedia

• Logical Intuitive Extrovert — The Logical Intuitive Extrovert, LIE, ENTj, the Enterpriser, the Entrepreneur, Jack London, or types. The Logical Intuitive Extrovert is a rational, extroverted, dynamic type whose leading functions are extroverted logic and introverted intuition …   Wikipedia

• Logical consequence — Therefore redirects here. For the symbol, see therefore sign. Logical consequence is a fundamental concept in logic. It is the relation that holds between a set of sentences (or propositions) and a sentence (proposition) when the former entails… …   Wikipedia